#include "debug.h"
#include "xprintf.h"
#include "printfIn.h"
#include <stdarg.h>

uint32_t inFlag = 0;

void kprintf(const char* str, ...) {
	if (inFlag == 1) {
		return;
	}
	inFlag = 1;
	va_list args = NULL;

	va_start(args, str);
	//vprintf(str, args);
	xvfprintf(str,args);
	va_end(args);
	inFlag = 0;
}

